VDict mobile



equational constraint not found. Suggestions:

Goffin
incremental constraint solver
definitional constraint programming
Constraint Logic Programming
Constraint Handling In Prolog
Siri
constraint
Bertrand
equational logic
Oz